x86: fix improper return value from relinquish_memory()
authorKeir Fraser <keir.fraser@citrix.com>
Thu, 25 Mar 2010 07:40:09 +0000 (07:40 +0000)
committerKeir Fraser <keir.fraser@citrix.com>
Thu, 25 Mar 2010 07:40:09 +0000 (07:40 +0000)
commite96781896f22c049c74c32f521ab45414aa03ae5
tree94cdb187e9e050218d08ceb24f0a00e74259bf64
parent13e06c39087d32d6bc592cb30059828fc4257f8f
x86: fix improper return value from relinquish_memory()

While apparently only a theoretical possibility (domain_kill() has a
BUG_ON() that wasn't reported to trigger so far), I still think it is
better to have the code cleaned up.

Signed-off-by: Jan Beulich <jbeulich@novell.com>
xen/arch/x86/domain.c